https://www.passeidireto.com/pergunta/134971881/um-automato-finito-nao-deterministico-afn-faz-a-leitura-de-uma-cadeia-de-caracte